Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
Author guidelines and submission instructions for the Notre Dame Journal of Formal Logic are available on the journal's website.
